0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Automated Reasoning" - alle Bücher

    Ihre Suche nach "Automated Reasoning" (Bücher) ergab 4 Treffer.

    Ansicht:

    Automated Reasoning with Analytic Tableaux and Related Methods

    Lecture Notes in Artificial Intelligence, Lecture Notes in Computer Science - Band 15980

    This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during S…

    lieferbar in mind. 4 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Model Checking Software

    This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Intelligent Computer Mathematics

    Lecture Notes in Computer Science - Band 16136, Lecture Notes in Artificial Intelligence

    This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6--11, 2025.The 24 full papers …

    lieferbar ab 23.11.2025.
    Buch
    Aktueller Preis: EUR 142,37

    Advances in Automation, Mechanical and Design Engineering

    This book presents the proceedings of the 2022 3rd International Symposium on Automation, Mechanical and Design Engineering (SAMDE), held in Beijing, China, on December 16-18, 2022, and organized by the H…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.